🏭 Functional Compilers - abnv · Scour

Functional Logic Program Transformations

arxiv.org·1d

🔄CPS Transform

Making a Language

thunderseethe.dev·7h

🔬programming language theory

Optimising Cylindrical Algebraic Coverings for use in SMT by Solving a Set Covering Problem with Reasons

arxiv.org·46m

🧩Constraint Solvers

Rust async combinators for elegant and secure concurrency

kerkour.com·23h·

Discuss: r/rust

🪆Embedded DSLs

Multi-Modal Program Verification in Velvet

proofsandintuitions.net·1d·

Discuss: Hacker News

🧮Theorem Provers

Designing a Programming Language for the Desert

futhark-lang.org·13h·

Discuss: Hacker News

🔄Bootstrapping

Production-Ready ML Projects: Why Structure Matters More Than Your Model

pub.towardsai.net

·1h

🌳Tree Shaking

Python Closures: Coming from JavaScript

dev.to·1d·

Discuss: DEV

📦Closure Conversion

MIT's Recursive Language Models Improve Performance on Long-Context Tasks

infoq.com·1d

🪜Recursive Descent

jhgarner/Theseus: An experimental and still heavily in progress Haskell effect system library supporting coroutines and higher order effects.

github.com·2d

⚡Algebraic Effects

GNU C Language Manual

gnu.org·10h

🪄C Metaprogramming

abelianization of an additive category in nLab

ncatlab.org·13h

🔗Category Theory

Scientific Computing in Rust Monthly #14

scientificcomputing.rs·17h

🏗️Cranelift

Alexis King’s Blog

lexi-lambda.github.io·2d

🗂️Type Indexing

Google Releases FunctionGemma Model

i-programmer.info·13h

💬Smalltalk VMs

Subterms Modulo Theories I

philipzucker.com·3d

🔗Lexical Scoping

Datomic - Datomic at Clojure/Conj 2025

blog.datomic.com·1d

🌲Deforestation

Introducing Names: practical namespaces for Emacs-Lisp

endlessparentheses.com·16h

🔧Scheme Macros

Linking Zig from Haskell

agentultra.com·1d

⚙️Zig Comptime

On the way to step functions: the two worlds

blog.julik.nl·2d

🔄CPS Transforms

Loading more...